A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations
نویسندگان
چکیده
Visualizations of program execution are useful for debugging the complex behavior of parallel programs. However, the eeectiveness of the visualizations is limited by how well their representations match the programmer's conceptual model of the expected program behavior. In this paper, we show that the LOTOS speciication of a parallel program may be used to model expected behavior in the visualizations of the program's execution. We developed a prototype debugging environment, Panorama, to provide a framework for the modeling of expected behavior , collection of trace data, and the generation of the corresponding visualizations. We illustrate, by example, that debugging of incorrect message-passing communication is facilitated by this visualization strategy .
منابع مشابه
Explaining the Level of Human Thought in the Parallel Civilizations Based on Formal Structure and Visual Imagination Formed in Mythical Narratives
Myth, like any other form of narrative, has an undeniable role in visual imagination based on the foundations of mythical thought. Ernst Cassirer, by recovering the fundamental principles of mythical thought, brings against them to the foundations of contemporary rational thought and defines the fundamental features of mythical thought as compared to modern rational thought. He also believes t...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملReal World Modeling and Nonlinear Control of an Electrohydraulic Driven Clutch
In this paper, a complete model of an electro hydraulic driven dry clutch along with its performance evaluation has elucidated. Through precision modeling, a complete nonlinear physical and full order sketch of clutch has drawn. Ultimate nonlinearities existent in the system prohibits it from being controlled by conventional linear control algorithms and to compensate the behavior of the sy...
متن کامل